Design and verify: a new scheme for generating cutting-planes
نویسندگان
چکیده
منابع مشابه
Design and Verify: A New Scheme for Generating Cutting-Planes
A cutting-plane procedure for integer programming (IP) problems usually involves invoking a blackbox procedure (such as the Gomory-Chvátal (GC) procedure) to compute a cutting-plane. In this paper, we describe an alternative paradigm of using the same cutting-plane black-box. This involves two steps. In the first step, we design an inequality cx ≤ d where c and d are integral, independent of th...
متن کاملCutting planes and beyond
1 Abstract We present extensions to the traditional cutting plane that become practical with the availability of virtual reality devices. These extensions take advantage of the intuitive ease of use associated with the cutting metaphor. Using their hands as the cutting tool, users interact directly with the data to generate arbitrarily oriented planar surfaces, linear surfaces, and curved surfa...
متن کاملLower Bounds for Cutting Planes
Cutting Planes (CP) is a refutation propositional proof system whose lines are linear inequalities in Boolean variables. Exponential lower bounds for CP refutations of a clique/coclique dichotomy have been proved by Bonet, Pitassi and Raz, and by Kraj́ıček, using similar methods. Their proofs only apply when all the coefficients in the proof are small. Pudlák proved a lower bound for the same st...
متن کاملUnderstanding Cutting Planes for QBFs
We define a cutting planes system CP+∀red for quantified Boolean formulas (QBF) and analyse the proof-theoretic strength of this new calculus. While in the propositional case, Cutting Planes is of intermediate strength between resolution and Frege, our findings here show that the situation in QBF is slightly more complex: while CP+∀red is again weaker than QBF Frege and stronger than the CDCL-b...
متن کاملA New Method for Generating Continuous Bivariate Distribution Families
Recently, it has been observed that a new method for generating continuous distributions, T - X family, can be quite effectively used to analyze the data in one dimension. The aim of this study is to generalize this method to two dimensional space so that the marginals would have T - X distributions. So, several examples and properties of this family have been presented. As ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Programming
سال: 2013
ISSN: 0025-5610,1436-4646
DOI: 10.1007/s10107-013-0645-0